Non-Classical - PDFSEARCH.IO - Document Search Engine

Non-Classical
Results: 915

#	Item
311	An Adaptive Logic-based Approach to Abduction in AI∗ (Preliminary Report) Tjerk Gauderis Centre for Logic and Philosophy of Science Ghent University, Belgium Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2011-12-06 10:47:08 Non-classical logic Logical consequence Defeasible reasoning Non-monotonic logic Default logic Abductive reasoning Entailment First-order logic Inference Logic Reasoning Logic programming
312	Propositional Logic Extended With A Pedagogically Useful Relevant Implication∗ Diderik Batens Centre for Logic and Philosophy of Science Ghent University, Belgium [removed] Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2013-05-06 17:32:48 Non-classical logic Logical consequence Paraconsistent logic Natural deduction Relevance logic Entailment Paradoxes of material implication Material conditional Modal logic Logic Philosophical logic Propositional calculus
313	To Appear in International Journal of Computer Vision 2010: manuscript No. (will be inserted by the editor) Predicate Logic based Image Grammars for Complex Pattern Recognition Vinay Shet† · Maneesh Singh† · Claus Add to Reading List Source URL: lmb.informatik.uni-freiburg.de Language: English - Date: 2012-06-18 23:42:11 Reasoning Model theory Programming paradigms Deduction Non-classical logic Reasoning system First-order logic Inference Interpretation Logic Science Mathematical logic
314	RUSSIAN JOURNAL OF EARTH SCIENCES, VOL. 10, ES1001, doi:2007ES000278, 2008 Recognition of anomalies from time series by fuzzy logic methods A. D. Gvishiani,1 S. M. Agayan,1 Sh. R. Bogoutdinov,1 E. M. Graeva,1 J. Add to Reading List Source URL: elpub.wdcb.ru Language: English - Date: 2008-01-27 15:52:44 Artificial intelligence Logic in computer science Non-classical logic Anomaly detection Gvishiani Fuzzy mathematics Fuzzy set Logic Mathematical logic Fuzzy logic
315	A Case Study in Verication Based on Trace Abstractions Nils Klarlund? Mogens Nielsen Kim Sunesen BRICS?? Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-08 16:48:07 Formal languages Semantics Non-classical logic First-order logic Interpretation Well-formed formula Temporal logic Modal logic Second-order logic Logic Mathematical logic Model theory
316	BOOK REVIEW 125 Michael R. Genesereth and Nils J. Nilsson, Logical Foundations of Artificial Intelligence (Morgan Kaufmann, Los Altos, CA, 1987); 406 + xviii pages. Add to Reading List Source URL: www.jfsowa.com Language: English - Date: 2014-11-01 17:39:55 Artificial intelligence Philosophical logic Reasoning Logical consequence Prolog Logic programming Expert system Inference Epistemic modal logic Logic Mathematical logic Non-classical logic
317	The optimal prize structure of symmetric Tullock contests∗ Paul Schweinzer Ella Segev Add to Reading List Source URL: www.york.ac.uk Language: English - Date: 2015-03-03 05:46:15 Game theory Modal logic Non-classical logic Philosophical logic
318	Game Design for Classical AI Ian Horswill Northwestern University [removed] Abstract Add to Reading List Source URL: www.exag.org Language: English - Date: 2014-08-29 15:44:34 Computing Artificial intelligence Non-player character Strong AI Prolog Planner Game programmer Video game genres Video game bot Video game development Software development Software
319	15282 CG812 Kinetic WECF 8p PDS Add to Reading List Source URL: www.fidante.com.au Language: English - Date: 2015-04-17 01:59:59 Mathematical logic Non-classical logic Reasoning Philosophical logic Logic programming First-order logic Knowledge representation and reasoning SQL Modal logic Logic Programming paradigms Science
320	Fads and Fallacies about Logic John F. Sowa VivoMind Intelligence, Inc. Throughout the history of AI, logic has been praised by its admirers, maligned by its detractors, and discussed in confusing and misleading terms by Add to Reading List Source URL: www.jfsowa.com Language: English - Date: 2007-06-29 09:15:06 Mathematical logic Non-classical logic Reasoning Philosophical logic Logic programming First-order logic Knowledge representation and reasoning SQL Modal logic Logic Programming paradigms Science

UPDATE